Hanne Riis Nielson: Z-Library 사이트에서 검색하기

모금 9월 15일 2024 – 10월 1일 2024 모금에 대해서

지식과 문화를 자유롭게 접하기.

모금 9월 15일 2024 – 10월 1일 2024

Z-Library이란 세계에서 가장 큰 온라인 도서관 중 하나이며, 17,000,000 이상의 책과 84,837,000 이상의 기사 포함합니다. 우리는 모든 사람이 문학을 접할 수 있도록 하는 것을 목표로 합니다. 오늘 (9월 15일 2024) 프로젝트 운영과 발전을 위해 새로운 모금활동을 시작합니다.

또한 무제한 다운로드(기부가 이루어진 날 이후로 31일 동안)가 까지 모금 기간 내에 프로젝트를 지원해 주시는 모든10월 1일 2024 사용자 분들에게 주어집니다.

모금에 대해서상세정보

책들 (25)
가장 인기 있는
목록
- 목록
- 표

1

Semantics with applications: an appetizer

Semantics with applications: an appetizer

Nielson, Flemming, Nielson, Hanne Riis

년:

2007

언어:

english

파일:

PDF, 2.24 MB

0 / 0

english, 2007

2

Ethical and Legal Aspects of Computing

Ethical and Legal Aspects of Computing

Ian Mackie & Samson Abramsky & Chris Hankin & Mike Hinchey & Dexter C. Kozen & Hanne Riis Nielson & Steven S. Skiena & Iain Stewart & Joseph Migga Kizza & Roy Crole & Elizabeth Scott & Gerard O’Regan

년:

2024

언어:

english

파일:

PDF, 5.90 MB

0 / 4.0

english, 2024

3

Semantics with applications: a formal introduction

Semantics with applications: a formal introduction

John Wiley & Sons Inc

Hanne Riis Nielson, Flemming Nielson

년:

1999

언어:

english

파일:

PDF, 966 KB

5.0 / 5.0

english, 1999

4

Two-Level Functional Languages

Two-Level Functional Languages

Cambridge University Press

Flemming Nielson, Hanne Riis Nielson

년:

1992

언어:

english

파일:

PDF, 7.05 MB

0 / 0

english, 1992

5

Transactions on Computational Systems Biology VII

Transactions on Computational Systems Biology VII

Springer-Verlag Berlin Heidelberg

Muffy Calder, Stephen Gilmore, Jane Hillston (auth.), Corrado Priami, Anna Ingólfsdóttir, Bud Mishra, Hanne Riis Nielson (eds.)

년:

2006

언어:

english

파일:

PDF, 2.03 MB

0 / 0

english, 2006

6

Type and Effect Systems: Behaviours for Concurrency

Type and Effect Systems: Behaviours for Concurrency

Torben Amtoft, Flemming Nielson, Hanne Riis Nielson

년:

1999

언어:

english

파일:

DJVU, 1.54 MB

0 / 0

english, 1999

7

Formal Methods. An Appetizer

Formal Methods. An Appetizer

Flemming Nielson, Hanne Riis Nielson

년:

2019

언어:

english

파일:

PDF, 1.80 MB

0 / 0

english, 2019

8

Two-Level Functional Languages

Two-Level Functional Languages

Cambridge University Press

Flemming Nielson, Hanne Riis Nielson

년:

2005

언어:

english

파일:

PDF, 9.73 MB

0 / 5.0

english, 2005

9

Static Analysis: 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings

Static Analysis: 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Frank Tip (auth.), Hanne Riis Nielson, Gilberto Filé (eds.)

년:

2007

언어:

english

파일:

PDF, 5.51 MB

0 / 0

english, 2007

10

Two-Level Functional Languages

Two-Level Functional Languages

Cambridge University Press

Flemming Nielson, Hanne Riis Nielson

년:

1992

언어:

english

파일:

DJVU, 1.48 MB

0 / 0

english, 1992

11

Secure IT Systems: 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings

Secure IT Systems: 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings

Springer-Verlag Berlin Heidelberg

Alessio Di Mauro, Xenofon Fafoutis, Sebastian Mödersheim, Nicola Dragoni (auth.), Hanne Riis Nielson, Dieter Gollmann (eds.)

년:

2013

언어:

english

파일:

PDF, 6.30 MB

0 / 0

english, 2013

12

Semantics With Applications: A Formal Introduction

Semantics With Applications: A Formal Introduction

John Wiley & Sons Inc

Hanne Riis Nielson, Flemming Nielson

년:

1991

언어:

english

파일:

PDF, 1.14 MB

0 / 0

english, 1991

13

Static Analysis: 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings

Static Analysis: 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Frank Tip (auth.), Hanne Riis Nielson, Gilberto Filé (eds.)

년:

2007

언어:

english

파일:

PDF, 7.50 MB

0 / 5.0

english, 2007

14

Formal Methods. An Appetizer

Formal Methods. An Appetizer

Flemming Nielson, Hanne Riis Nielson

년:

2019

언어:

english

파일:

PDF, 2.21 MB

0 / 5.0

english, 2019

15

Semantics with Applications: An Appetizer

Semantics with Applications: An Appetizer

Hanne Riis Nielson, Flemming Nielson

년:

2007

언어:

english

파일:

PDF, 2.29 MB

0 / 0

english, 2007

16

Principles of Program Analysis

Principles of Program Analysis

Springer-Verlag Berlin Heidelberg

Flemming Nielson, Hanne Riis Nielson, Chris Hankin (auth.)

년:

1999

언어:

english

파일:

PDF, 38.85 MB

0 / 4.0

english, 1999

17

Semantics with Applications: An Appetizer

Semantics with Applications: An Appetizer

Springer-Verlag London

Hanne Riis Nielson PhD, Flemming Nielson PhD, DSc (auth.)

년:

2007

언어:

english

파일:

PDF, 2.81 MB

0 / 0

english, 2007

18

Coordination Models and Languages: 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Pro

Coordination Models and Languages: 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Pro

Springer International Publishing

Hanne Riis Nielson, Emilio Tuosto

년:

2019

언어:

english

파일:

PDF, 22.63 MB

0 / 0

english, 2019

19

Semantics with Applications: An Appetizer

Semantics with Applications: An Appetizer

Springer-Verlag New York, Inc.

Hanne Riis Nielson, Flemming Nielson

년:

2007

언어:

english

파일:

PDF, 2.03 MB

0 / 0

english, 2007

20

Semantics with Applications: An Appetizer

Semantics with Applications: An Appetizer

Hanne Riis Nielson, Flemming Nielson

년:

2007

언어:

english

파일:

PDF, 2.30 MB

0 / 0

english, 2007

21

Secure IT Systems: 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings

Secure IT Systems: 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings

Springer-Verlag Berlin Heidelberg

Alessio Di Mauro, Xenofon Fafoutis, Sebastian Mödersheim, Nicola Dragoni (auth.), Hanne Riis Nielson, Dieter Gollmann (eds.)

년:

2013

언어:

english

파일:

PDF, 4.91 MB

0 / 0

english, 2013

22

Semantics with applications : an appetizer

Semantics with applications : an appetizer

Hanne Riis Nielson, Flemming Nielson

년:

2007

언어:

english

파일:

PDF, 1.37 MB

0 / 0

english, 2007

23

Programming Languages and Systems — ESOP '96: 6th European Symposium on Programming Linköping, Sweden, April 22–24, 1996 Proceedings

Programming Languages and Systems — ESOP '96: 6th European Symposium on Programming Linköping, Sweden, April 22–24, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Cliff B Jones (auth.), Hanne Riis Nielson (eds.)

년:

1996

언어:

english

파일:

DJVU, 3.39 MB

0 / 0

english, 1996

24

Programming Languages and Systems — ESOP '96: 6th European Symposium on Programming Linköping, Sweden, April 22–24, 1996 Proceedings

Programming Languages and Systems — ESOP '96: 6th European Symposium on Programming Linköping, Sweden, April 22–24, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Cliff B Jones (auth.), Hanne Riis Nielson (eds.)

년:

1996

언어:

english

파일:

PDF, 5.90 MB

0 / 0

english, 1996

25

Semantics with applications: an appetizer

Semantics with applications: an appetizer

Hanne Riis Nielson, Flemming Nielson

년:

2007

언어:

english

파일:

DJVU, 1.72 MB

0 / 0

english, 2007